admissible state semantics

[计] 容许状态语义